A First-Order Axiomatization of the Theory of Finite Trees
نویسندگان
چکیده
We provide first-order axioms for the theories of finite trees with bounded branching and finite trees with arbitrary (finite) branching. The signature is chosen to express, in a natural way, those properties of trees most relevant to linguistic theories. These axioms provide a foundation for results in linguistics that are based on reasoning formally about such properties. We include some observations on the expressive power of these theories relative to traditional language complexity classes.
منابع مشابه
Complete First-Order Axiomatization of Finite or Infinite M-extended Trees
We present in this paper an axiomatization of the structure of finite or infinite M -extended trees. This structure is an intuitive combination of the structure of finite or infinite trees with another structure M and expresses semantically an extension to trees of the model M . Having a structure M = (DM , FM , RM ), we define the structure of finite or infinite M -extended tree ExtM = (D, F, ...
متن کاملA Complete Axiomatization of Strict Equality over Infinite Trees (Extended Version) Technical Report SIC-03-2009, UCM
Computing with data values that are some kind of trees — finite, infinite, rational— is at the core of declarative programming, either logic, functional or functional-logic. Understanding the logic of trees is therefore a fundamental question with impact in different aspects, like language design, including constraint systems or constructive negation, or obtaining methods for verifying and reas...
متن کاملExtension of First-Order Theories into Trees
We present in this paper an automatic way to combine any first-order theory T with the theory of finite or infinite trees. First of all, we present a new class of theories that we call zero-infinite-decomposable and show that every decomposable theory T accepts a decision procedure in the form of six rewriting rules which for every first order proposition give either true or false in T . We pre...
متن کاملTheory of finite or infinite trees revisited
We present in this paper a first-order axiomatization of an extended theory T of finite or infinite trees, built on a signature containing an infinite set of function symbols and a relation finite(t) which enables to distinguish between finite or infinite trees. We show that T has at least one model and prove its completeness by giving not only a decision procedure, but a full first-order const...
متن کاملSpectral Finite Element Method for Free Vibration of Axially Moving Plates Based on First-Order Shear Deformation Theory
In this paper, the free vibration analysis of moderately thick rectangular plates axially moving with constant velocity and subjected to uniform in-plane loads is investigated by the spectral finite element method. Two parallel edges of the plate are assumed to be simply supported and the remaining edges have any arbitrary boundary conditions. Using Hamilton’s principle, three equations of moti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Logic, Language and Information
دوره 4 شماره
صفحات -
تاریخ انتشار 1995